Type Theory and Formal Proof
===================================

.. toctree::
   :maxdepth: 2
   :caption: 目录:

   无类型lambda演算
   简单类型lambda演算